--- 'https://github.com/Frege/frege/issues/286 Issue 286'
--- Refuse to make native types instances of higher kinded classes
module tests.nocomp.Issue286 where

import frege.java.Util(List)

instance Functor List where fmap = undefined

newtype JList a = J (List a)

instance Functor JList where fmap = undefined